Nonmonotonic Logic for Analogical Reasoning
نویسنده
چکیده
In this paper, we provide a nonmonotonic logic for analogical reasoning and a graphical representation method to facilitate the calculation of analogies.
منابع مشابه
Towards First-Order Nonmonotonic Reasoning
We investigate the problem of reasoning in nonmonotonic extensions of rst-order logic. In particular, we study reasoning in rst-order MKNF, the modal logic of minimal knowledge and negation as failure introduced by Lifschitz. MKNF can be considered as a unifying framework for several nonmonotonic formalisms, including default logic, autoepistemic logic, circumscription, and logic programming. B...
متن کاملExtending Prolog with Nonmonotonic Reasoning
Nonmonotonic reasoning has been developed to capture common sense inferences. This paper considers nonmonotonic reasoning in logic programs with negation { its implementation using Prolog and its integration with Prolog execution. Even within logic programming frameworks, a variety of inferencing methods, model-theoretic semantics, and language features have been proposed for diierent forms of ...
متن کاملDigital Systems Laboratory Series A: Research Reports Stratification and Tractability in Nonmonotonic Reasoning Stratiication and Tractability in Nonmonotonic Reasoning
Knowledge-based systems use forms of reasoning that do not satisfy the mono-tonicity property of classical logical reasoning. Therefore, several nonmonotonic logics have been developed for the investigation of theoretical foundations of knowledge-based systems. This work investigates eecient inference procedures for knowledge representation using the framework of nonmonotonic logics. Recent res...
متن کاملLogic in Nonmonotonic Reasoning
We present a conceptual description of nonmonotonic formalisms as essentially two-layered reasoning systems consisting of a monotonic logical system, coupled with a mechanism of a reasoned choice of default assumptions. On this ‘surgery’, the main features of a nonmonotonic formalism are determined by the interplay between its logical basis and the nonmonotonic overhead. Furthermore, it allows ...
متن کاملAgainst Nonmonotonic Logic (DRAFT)
The monotonicity property of inference in conventional formal systems of logic (S ` A and S ⊆ T implies T ` A) appears to prohibit certain crucial steps in practical intuitive reasoning. For example, reasoning by default (using assertions that are assumed to hold until explicitly contradicted) appears to be impossible in monotonic systems. Many crucial steps in practical reasoning certainly req...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001